O P S F N E T - Volume 22, Number 6 - November 15, 2015 The Electronic News Net of the SIAM Activity Group on Orthogonal Polynomials and Special Functions http://math.nist.gov/opsf Please send contributions to: poly@siam

Source URL: math.caltech.edu

• Guggenheim Fellows
• Mourad Ismail
• Foundations of Computational Mathematics
• Leroy P. Steele Prize
• Vilmos Totik
• Orthogonal polynomials
• American Mathematical Society
• Richard Askey
• Barry Simon

C:/Documents and Settings/jipsen/My Documents/Classes/Math Club/settheoryaxioms.dvi

Source URL: math.chapman.edu

• Mathematical logic
• Mathematics
• Logic
• Z notation
• Foundations of mathematics
• ZermeloFraenkel set theory
• Axioms of set theory
• Constructible universe
• S
• TarskiGrothendieck set theory
• MorseKelley set theory

The Challenge of Computer Mathematics By Henk Barendregt and Freek Wiedijk Radboud University Nijmegen The Netherlands Progress in the foundations of mathematics has made it possible to formulate all thinkable mathematic

Source URL: www.cs.ru.nl

7 Mark Colyvan Professor of Philosophy University of Sydney, Australia Why were you initially drawn to the foundations of mathematics and/or the philosophy of mathematics?

Source URL: www.colyvan.com

Computability Theory and Foundations of Mathematics February, 2013 Tokyo Institute of Technology, Tokyo, Japan

Source URL: sendailogic.math.tohoku.ac.jp

Paul Oppenheimer and Edward N. Zalta Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer

Source URL: www.peoppenheimer.org

• Logic
• Mathematical logic
• Mathematics
• Model theory
• Formal languages
• Predicate logic
• Metalogic
• First-order logic
• Principia Mathematica
• Interpretation
• Well-formed formula
• Lambda calculus

The Foundations of Quantum Mechanics and The Limitations of Human Beings Roderich Tumulka Department of Mathematics 21 February 2011

Source URL: www.math.rutgers.edu

From G¨odel to Lambek: Studies in the Foundations of Mathematics Philip Scott University of Ottawa (Lambekfest, September 21, 2013 CRM, U. de Montr´eal )

Source URL: www.site.uottawa.ca

Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY

Source URL: www.heidelberg-laureate-forum.org

De Bruijn’s ideas on the Formalization of Mathematics Herman Geuvers Radboud Universiteit Nijmegen & Technische Universiteit Eindhoven Foundation of Mathematics for Computer-Aided Formalization Padova, 9-11 January 201

Source URL: www.cs.ru.nl

• Type theory
• Philosophy of mathematics
• Proof assistants
• Automath
• Automated theorem proving
• Proof theory
• Nicolaas Govert de Bruijn
• Mathematical proof
• Foundations of mathematics
• Mathematical logic
• Theorem
• Mathematics